-
1 предикативная форма
Русско-английский словарь по электронике > предикативная форма
-
2 предикативная форма
Русско-английский словарь по радиоэлектронике > предикативная форма
-
3 предикативная форма
predicate form мат.Русско-английский научно-технический словарь Масловского > предикативная форма
-
4 предикативная форма
Mathematics: predicate formУниверсальный русско-английский словарь > предикативная форма
-
5 лежать в основе
•The basis for the antibacterial effects of dyes is their ability to...
•Behind the Mullard invention is the notion that...
•Central to the theory is...
•Movement of charged particles in a magnetic field also forms (or constitutes) the basis for mass spectrometry.
•These equations form the basis (or foundation) of the theory of...
•These theories form (or provide) the foundation for (or are at the basis of) colour television.
•It is this form that provides the basis (or is fundamental) for a wide variety of TV antennas.
•Let us consider the physical conditions that underlie the Sun's magnetism.
•Boolean algebra underlies the theory of relations.
•Microcomputers are at the heart of "transaction" telephones for checking customers' credit.
•The general rule that the forces between two particles result from an exchange of other particles is basic to much of our present understanding of elementary-particle interactions.
•This distinction between electricity and magnetism is at the heart (or root) of the theory of...
•The Periodic Table provides the framework for the whole study of inorganic chemistry.
•Thermochemistry is basic to the study of chemical bonding.
•An understanding of dye laser operation is a building block for understanding the principles of other tunable laser systems.
•These interrelations are the heart of hydrodynamics.
•The chapter describes the fundamental physics that gives rise to the behaviour of the single junction and the transistor as circuit elements.
•The nature of energy lies at the heart of the mystery of our existence.
•This reaction is the basis for the cyanamide process for...
* * *Лежать в основе -- to be at the heart of, to lie at the heart of; to be at the root of; to be at the basis of, to form the basis of, to form the basis for; to form the foundation for; to underlieInference is al the heart of both language understanding and language generation.An accurate determination of primary flowrate lies at the heart of any turbine acceptance test.It is this particular approach that forms the basis of the dynamic testing technique described in this paper.Suppose that a single predicate underlies part of the meaning of each of the following sentences. (... лежит в основе части значения...)Русско-английский научно-технический словарь переводчика > лежать в основе
-
6 утверждать
1) General subject: adopt (позицию), affirm, allege (особ. без основания), appoint (в должности), approve (особ. постановление), approve of, argue, aver, avouch, claim, clench, clinch, confirm, consolidate, contend, depose, finalize, have, insist, insist on, insist upon, lay down, maintain, posit, sanction, say (что, якобы), state, submit, take up the position (что), take up the position that (что), threap, validate, visa, assert3) American: allow4) Construction: immerse5) Mathematics: predicate6) Religion: homologate7) Railway term: corroborate8) Law: adopt (оспоримую сделку), affirm (решение суда), asseverate, avouchment, instate (в правах), pass, protest, prove (завещание), ratify, set out, sign into law, swear, testify, vouch9) Economy: give a go-head, pass (план, расход)10) Accounting: vote11) Diplomatic term: adopt (устав, статут и т.п.), affirm (решение суда и т.п.)12) Psychology: allege (особенно без оснований), assert (с уверенностью), believe, declare, make an assertion, profess13) Jargon: dick14) Information technology: predict15) Mechanic engineering: secure17) Sakhalin energy glossary: give the OK (Michele Berdy)18) leg.N.P. probate, strengthen, represent20) Phraseological unit: cotton on
См. также в других словарях:
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Predicate (grammar) — In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the… … Wikipedia
predicate — A predicate is any expression that is capable of connecting with one or more singular terms to make a sentence. A predicate expresses a condition that the entities referred to may satisfy, in which case the resulting sentence will be true. For… … Philosophy dictionary
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia
predicate — verb (predicated, predicating) –verb (t) /ˈprɛdɪkeɪt / (say predikayt) 1. to proclaim; declare; affirm or assert. 2. to affirm or assert (something) of the subject of a proposition. 3. to connote or imply. 4. to found or base (a statement, action …
predicate — Synonyms and related words: IC analysis, advance, affirm, affirmance, affirmation, allegation, allege, announce, announcement, annunciate, annunciation, appositive, argue, assert, assertion, assever, asseverate, asseveration, attribute,… … Moby Thesaurus
Syntactic predicate — A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of… … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Continuous predicate — is a term coined by Charles Sanders Peirce (1839–1914) to describe a special type of relational predicate that results as the limit of a recursive process of hypostatic abstraction. Here is one of Peirce s definitive discussions of the concept:… … Wikipedia
Kleene's T predicate — In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable functions within formal theories of arithmetic. Informally, the T … Wikipedia